2

Universal Regular Path Queries

Année:
2003
Langue:
english
Fichier:
PDF, 244 KB
english, 2003
4

[Lecture Notes in Computer Science] Software Language Engineering Volume 8225 ||

Année:
2013
Langue:
english
Fichier:
PDF, 10.22 MB
english, 2013
6

Using Model Checking in a Parallelizing Compiler

Année:
1998
Langue:
english
Fichier:
PDF, 2.95 MB
english, 1998
11

Silver: an Extensible Attribute Grammar System

Année:
2008
Langue:
english
Fichier:
PDF, 268 KB
english, 2008
12

Extending Lustre with Timeout Automata

Année:
2008
Langue:
english
Fichier:
PDF, 323 KB
english, 2008
13

Implementing aspect-oriented programming constructs as modular language extensions

Année:
2007
Langue:
english
Fichier:
PDF, 361 KB
english, 2007
14

Preface

Année:
2006
Langue:
english
Fichier:
PDF, 83 KB
english, 2006
15

Silver: An extensible attribute grammar system

Année:
2010
Langue:
english
Fichier:
PDF, 679 KB
english, 2010
16

Specification languages in algebraic compilers

Année:
2003
Langue:
english
Fichier:
PDF, 353 KB
english, 2003
17

Aspects as Modular Language Extensions

Année:
2003
Langue:
english
Fichier:
PDF, 211 KB
english, 2003
19

Preface

Année:
2004
Langue:
english
Fichier:
PDF, 64 KB
english, 2004
20

Generating Model Checkers from Algebraic Specifications

Année:
2002
Langue:
english
Fichier:
PDF, 298 KB
english, 2002
27

Monolithic and modular termination analyses for higher-order attribute grammars

Année:
2014
Langue:
english
Fichier:
PDF, 494 KB
english, 2014
36

Verifiable composition of deterministic grammars

Année:
2009
Langue:
english
Fichier:
PDF, 467 KB
english, 2009
41

A modular specification of Oberon0 using the Silver attribute grammar system

Année:
2015
Langue:
english
Fichier:
PDF, 373 KB
english, 2015
46

Proving correctness of compiler optimizations by temporal logic

Année:
2002
Langue:
english
Fichier:
PDF, 257 KB
english, 2002